Compiler optimizations - PDFSEARCH.IO - Document Search Engine

Compiler optimizations
Results: 530

#	Item
211	A Semantic Recognizer Infrastructure for Computing Loop Behavior Ali Mili Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2006-09-05 07:46:39 Cybernetics Compiler optimizations Loop invariant Function Control theory For loop Loop optimization Algorithm Mathematics Control flow Computing
212	Evaluating OpenMP Performance Analysis Tools with the APART Test Suite∗ Michael Gerndt Institut f¨ur Informatik, LRR Technische Universit¨at M¨unchen Add to Reading List Source URL: www.compunity.org Language: English - Date: 2007-10-15 03:40:55 Parallel computing Application programming interfaces Fortran OpenMP Compiler optimizations Debuggers Automatic parallelization Thread Lock Computing Computer programming Software
213	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
214	XL Compiler Optimizations And Tuning Manisha Gajbe and Gabriel Mateescu Outline   Optimization Levels and Options   Tuning code transformations to processor architecture Add to Reading List Source URL: gladiator.ncsa.illinois.edu Language: English - Date: 2010-05-11 14:29:09 Software Programming language implementation Compiler Program optimization Interprocedural optimization Loop optimization Inline expansion Intel C++ Compiler MILEPOST GCC Software engineering Computing Compiler optimizations
215	Parallel Computing: Architectures, Algorithms and Applications Add to Reading List Source URL: web.cs.uh.edu Language: English - Date: 2011-03-09 16:19:43 Parallel computing Application programming interfaces Programming language implementation Software optimization Compiler optimizations OpenMP Pin Inline expansion Compiler Computing Computer programming Software
216	Automatic Generation of Peephole Superoptimizers Sorav Bansal and Alex Aiken Computer Systems Lab Stanford University {sbansal, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-01 01:50:46 Programming language implementation X86 instructions Peephole optimization Superoptimization MOV X86 architecture Assembly language X86 CPUID Computer architecture Compiler optimizations Computing
217	Program Checking With Less Hassle Julian Tschannen1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-05 04:58:16 Logic in computer science Formal methods Compiler optimizations Program logic Inline expansion Subroutines Predicate transformer semantics Postcondition Eiffel Software engineering Theoretical computer science Computing
218	Titanium: A High-Performance Java Dialect Kathy Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul Hilfinger, Susan Graham, David Gay, Phil Colella, and Alex Aiken Computer Sci Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-08-03 17:48:46 Compiler construction Parallel computing Programming language implementation Compiler optimizations Programming paradigms Static single assignment form Partitioned global address space Automatic parallelization Unified Parallel C Computing Software engineering Computer programming
219	Compilation for Explicitly Managed Memory Hierarchies Timothy J. Knight Ji Young Park Manman Ren Mike Houston Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-01-12 21:55:15 Compiler optimizations Computer memory Programming language implementation Compiler construction Parallel computing Cell Compiler SPMD Software pipelining Computing Software engineering Computer programming
220	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering

UPDATE